// Strings for the OPER enum. Ugh! I wish C could print enums properly.
// Only needed for the dotty file (a debugging nicety) so don't be
// surprised if the strings become out of date.

//modified by zhanxun 10.11

#ifndef _OPERSTRINGS__
#define _OPERSTRINGS__

extern const char *operStrings[];

#endif //_OPERASTRINGS__